// Print Logo
#include "types.h"
#include "riscv.h"
#include "defs.h"

void print_logo() {
    printf("   ___  _  _  ___  ___ \n");
    printf("  / _ \\| || |/ _ \\/ __|\n");
    printf(" | (_) | >< | (_) \\__ \\\n");
    printf("  \\___/|_||_|\\___/|___/\n");
    printf("                      \n");
}